void score_dummy_symbol_to_please_objcxx_compiler() { }